منابع مشابه
Foundations of Object-Oriented Languages
A report on the workshop Foundations of ObjectOriented Languages, Paris, July 1994.
متن کاملLogical foundations for typed object-oriented languages
This paper presents logical foundations for the most important object-oriented language features, including abstract types, dynamic binding, subtyping, and inheritance. These foundations are introduced along with an object-oriented kernel language. We show how object environments of such languages can be formalized in an algebraic way. Based on this foundation, we develop a Hoare-style logic fo...
متن کاملSeventh International Workshop on Foundations of Object-Oriented Languages
The Seventh International Workshop on Foundations of Object-Oriented Languages (FOOL 7) was held on January 22, 2000, and it was colocated with the ACM Symposium on Principles of Programming Languages in Boston, Massachusetts, USA. Martı́n Abadi chaired the program committee, which received 19 submissions and accepted 6 of them. After the workshop, extended versions of 4 articles were solicited ...
متن کاملConcurrent Object-Oriented Languages
For uniprocessor systems, the object-oriented approach to programming has proven to be effective in obtaining highly maintainable and reusable software. Object-oriented programming languages, with its inherent conceptual elegance, has also allowed a high degree of programmability in the development of complex systems. As we move towards addressing issues for parallel environments, programmabili...
متن کاملLogical Foundations for Declarative Object-oriented Programming Logical Foundations for Declarative Object-oriented Programming ?
We present a formalism for reasoning about declarative object-oriented programs. Classes are represented as rst-order theories that contain logic programs as methods. Inheritance, genericity and related concepts are represented by operations on such theories which preserve the consistency of these theories as well as the correctness of the programs speciied by their axioms. Our approach provide...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2002
ISSN: 0890-5401
DOI: 10.1006/inco.2001.2931